Globalization - logical flow, motivation, and assumptions

Substantive assumptions in interaction: a logical perspective

In this paper we study substantive assumptions in social interaction. By substantive assumptions we mean contingent assumptions about what the players know and believe about each other’s choices and information. We explain why such assumptions are important, we show how to identify and compare them, formally, and we also show that there exist contexts where no substantive assumptions are being ...

DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions

Assumptions are often not considered to be definitely true, but only as prima facie justified. When an assumption is prima facie justified, there can for instance be a reason against it, by which the assumption is not actually justified. The assumption is then said to be defeated. This requires a revision of the standard conception of logical interpretation of sets of assumptions in terms of th...

Information Flow in Logical Environments

This paper describes information flow within logical environments. The theory of information flow, the logic of distributed systems, was first defined by Barwise and Seligman [1]. Logical environments are a semantic-oriented version of institutions. The theory of institutions, which was initiated by Goguen and Burstall [5], is abstract model theory. Information flow is the flow of information i...

Information Flow Analysis in Logical Form

We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs than can be checked by extant type-based approaches in which a program is deemed insecure when it contains an insecure subprogram. The logic is based on an abstract interpretation of program traces that makes independence between...

Plantinga and the Logical Problem of Evil